(declare-fun a () Real)
(assert (< 0.0 a 1.9))
(check-sat)
